Incorporating Specialized Theories into a
نویسندگان
چکیده
This thesis focuses on automatic theorem proving. In this area there is usually a tradeoff between the "generality" of a prover and the amount of user-guidance it requires to find a proof. This thesis demonstrates that the amount of guidance needed can be reduced by employing reasoning procedures for specialized theories. It presents an enhancement to the Larch Prover (LP) with specialized theories of equality, propositional logic and linear arithmetic. An application of enhanced LP to the verification of a concurrent algorithm is described. Thesis Supervisor: Stephen J. Garland Title: Principal Research Scientist
منابع مشابه
Measuring and incorporating attitudes toward risk into mathematical programming models : the case of farmers in kavar district iran
متن کامل
Measuring the Pulse of an Organization: Integrating Physiological Measures into the Organizational Scholar’s Toolbox
This goal of this chapter is to build a bridge between psychophysiology and organizational behavior in an effort to extend organizational theories and enhance the precision of organizational research. The first section describes psychophysiological systems and theories that can inform organizational scholars’ understanding of the biological bases of behavior in organizations. The second section...
متن کاملFree Vibration Analysis of Sandwich Micro Beam with Piezoelectric Based on Modified Couple Stress Theory and Surface Effects
In this paper, the free vibration analysis of sandwich micro beam with piezoelectric layers based on the modified couple stress and surface elasticity theories are investigated. The Hamilton’s principle is employed to derive the sandwich micro beam with piezoelectric based on modified couple stress theory incorporating with Gurtin- Murdoch surface theory. The generalized differential quadrature...
متن کاملIncorporating External Data into Data Warehouses – Problems Identified and Contextualized
Incorporating external data into data warehouses is a rather unexplored area and deserves more attention, especially if considering the resources organizations spend on acquiring data from specialized data suppliers. Therefore, this paper gives the results of an interview study partly aimed at evaluating, from a general perspective, the outline of such a process and related problems. The result...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007